Reducing dose of efavirenz